Abstract syntax

Results: 599



#Item
21A CG & PSG Hybrid Approach to Automatic Corpus Annotation Eckhard Bick Institute of Language and Communication, Southern Denmark University , http://visl.sdu.dk Abstract This paper describes and evaluates

A CG & PSG Hybrid Approach to Automatic Corpus Annotation Eckhard Bick Institute of Language and Communication, Southern Denmark University , http://visl.sdu.dk Abstract This paper describes and evaluates

Add to Reading List

Source URL: visl.sdu.dk

Language: English - Date: 2005-05-31 07:19:30
22RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Add to Reading List

Source URL: rdp15.mimuw.edu.pl

Language: English - Date: 2015-07-08 00:48:54
23Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany

Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany

Add to Reading List

Source URL: wwwiti.cs.uni-magdeburg.de

Language: English - Date: 2011-06-11 06:47:51
24$SPAD/src/input kamke2.input Timothy Daly December 30, 2008 Abstract This is the 50 ODEs of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where

$SPAD/src/input kamke2.input Timothy Daly December 30, 2008 Abstract This is the 50 ODEs of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where

Add to Reading List

Source URL: axiom-developer.org

Language: English - Date: 2008-12-30 18:00:24
25ASN.1 parsing in crypto libraries: what could go wrong? Andrew Furtak, Yuriy Bulygin, Alex Bazhaniuk Advanced Threat Research

ASN.1 parsing in crypto libraries: what could go wrong? Andrew Furtak, Yuriy Bulygin, Alex Bazhaniuk Advanced Threat Research

Add to Reading List

Source URL: www.intelsecurity.com

Language: English - Date: 2016-05-02 12:28:32
26A dependency-based approach to anaphora annotation Eckhard Bick University of Southern Denmark, Abstract. The paper describes a novel approach to the resolution of pronominal anaphora, where a hierar

A dependency-based approach to anaphora annotation Eckhard Bick University of Southern Denmark, Abstract. The paper describes a novel approach to the resolution of pronominal anaphora, where a hierar

Add to Reading List

Source URL: visl.sdu.dk

Language: English - Date: 2011-09-03 15:40:28
27Glottometrics 33, 2016, …. Liberating language research from dogmas of the 20th century Ramon Ferrer-i-Cancho 1 & Carlos Gómez-Rodríguez2 Abstract. A commentary on the article “Large-scale evidence of dependency l

Glottometrics 33, 2016, …. Liberating language research from dogmas of the 20th century Ramon Ferrer-i-Cancho 1 & Carlos Gómez-Rodríguez2 Abstract. A commentary on the article “Large-scale evidence of dependency l

Add to Reading List

Source URL: www.grupolys.org

Language: English - Date: 2016-02-29 20:04:51
28Formal Definition of ALGOL 60

Formal Definition of ALGOL 60

Add to Reading List

Source URL: homepages.cs.ncl.ac.uk

Language: English - Date: 2014-10-06 17:17:15
29$SPAD/src/input kamke0.input Timothy Daly December 30, 2008 Abstract This is the first 50 of the Kamke test suite as published by E. S. ChebTerrab[1]. They have been rewritten using Axiom syntax. Where possible we show t

$SPAD/src/input kamke0.input Timothy Daly December 30, 2008 Abstract This is the first 50 of the Kamke test suite as published by E. S. ChebTerrab[1]. They have been rewritten using Axiom syntax. Where possible we show t

Add to Reading List

Source URL: axiom-developer.org

Language: English - Date: 2008-12-30 18:00:15
30Information Structure and Production Planning∗ Michael Wagner. McGill University. Abstract Utterances are planned and realized incrementally. Which information is salient or attended to prior to initiat

Information Structure and Production Planning∗ Michael Wagner. McGill University. Abstract Utterances are planned and realized incrementally. Which information is salient or attended to prior to initiat

Add to Reading List

Source URL: semanticsarchive.net

Language: English - Date: 2015-05-25 11:00:58